Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Числа с плавающей запятой — Плавающая запятая форма представления действительных чисел, в которой число хранится в форме мантиссы и показателя степени. При этом число с плавающей запятой имеет фиксированную относительную точность и изменяющуюся абсолютную. Наиболее… … Википедия
Число с плавающей запятой — Число с плавающей запятой форма представления действительных чисел, в которой число хранится в форме мантиссы и показателя степени. При этом число с плавающей запятой имеет фиксированную относительную точность и изменяющуюся абсолютную.… … Википедия
forme normalisée — normalizuotoji forma statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
normalisierte Form — normalizuotoji forma statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
normalized form — normalizuotoji forma statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
normalizuotoji forma — statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
standard form — normalizuotoji forma statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
нормализованная форма — normalizuotoji forma statusas T sritis automatika atitikmenys: angl. normalized form; standard form vok. normalisierte Form, f rus. нормализованная форма, f; нормализованный вид, m pranc. forme normalisée, f … Automatikos terminų žodynas
1: — Терминология 1: : dw Номер дня недели. «1» соответствует понедельнику Определения термина из разных документов: dw DUT Разность между московским и всемирным координированным временем, выраженная целым количеством часов Определения термина из… … Словарь-справочник терминов нормативно-технической документации
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
